- эффективная процедура
-
эффективная процедура
—
[http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
- effective procedure
Справочник технического переводчика. – Интент. 2009-2013.
разрешающая процедура — эффективная процедура — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия Синонимы эффективная процедура EN decision procedure … Справочник технического переводчика
АЛГОРИТМА СЛОЖНОСТЬ — вычислений функция, дающая числовую оценку трудности (громоздкости) процессов применения алгоритма к исходным данным. Уточнением А. с. вычислений служит понятие сигнализирующей функции (или просто сигнализирующей) функции, к рая задается… … Математическая энциклопедия
АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ — АНТИНОМИИ ОТНОШЕНИЯ ИМЕНОВАНИЯ антиномии, возникающие в ситуациях именования при применении правила замены равного равным (принципа взаимозаменимости). Напр., в предложении “Птолемей считал, что Солнце вращается вокруг Земли”, замена… … Философская энциклопедия
разрешимая теория — теория, для которой существует эффективная процедура (алгоритм), позволяющая о каждом утверждении, сформулированном в терминах этой теории, решить, выводимо оно в теории или нет (см.: Разрешения проблема). Р. т. являются, напр., элементарная… … Словарь терминов логики
формальная теория — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные утверждения заменены в них последовательностями символов, манипуляции с которыми основываются лишь на их внешнем виде, и подразумеваемая логическая система… … Словарь терминов логики
Трансперсональная психология (I) (transpersonal psychology I) — Примечание редактора. Т. п. очень важный вопрос, связанный со взаимопроникновением концепций двух психол. наук Запада и Востока и созданием из них производной концепции, к рая сразу обрела независимость. Именно поэтому я обратился к доктору Н.… … Психологическая энциклопедия
ВОПРОС — тип суждения, предполагающий недостаток информации о соответствующем объекте и требующий ответа, объяснения. Логическая структура любого В. включает: 1) базисную информацию то, что уже известно; 2) неизвестное то, на что направлен В.; 3)… … Новейший философский словарь
АЛГОРИТМА СЛОЖНОСТЬ — описания величина, характеризующая длину описания алгоритма. В зависимости от точной концепции алгоритма А. с. описания уточняется по разному. Единого достаточно устоявшегося уточнения к настоящему моменту (1977) не существует. Ниже рассмотрены… … Математическая энциклопедия
ФОРМАЛЬНАЯ СИСТЕМА — дедуктивная система, в математич. логике неинтерпретированное исчисление, задаваемое правилами образования выражений этого исчисления и правилами построения выводов в этом исчислении. Выражения Ф. с. рассматриваются как чисто формальные… … Математическая энциклопедия
Формальная теория — Формальная (аксиоматическая) теория, формальное исчисление это понятие, разработанное в рамках формальной логики в качестве основы для формализации теории доказательства. Формальная теория разновидность дедуктивной теории, где множество теорем… … Википедия